formal mathematical system - Englisch Synonyme Wörterbuch